Principles weaker than BD-N

BD-N is a weak principle of constructive analysis. Several interesting principles implied by BD-N have already been identified, namely the closure of the anti-Specker spaces under product, the Riemann Permutation Theorem, and the Cauchyness of all partially Cauchy sequences. Here these are shown to be strictly weaker than BD-N, yet not provable in set theory alone under constructive logic. keywords: anti-Specker spaces, BD-N, Cauchy sequences, partially Cauchy, Riemann Permutation Theorem, topological models AMS 2010 MSC: 03F60, 03F50, 03C90, 26E40